MathematicalTheorem相关论文
Machine Proving System for Mathematical Theorems based on Coq-Machine Realization of the Axiomatic S
Using the interactive theorem proving tool Coq,we completed the construction of the machine proving system of the axioma......
